This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lee masThe 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
Lee masThe 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Lee masThe present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lee masThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee masThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lee masConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee masThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee masThis volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lee masBy presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee masThis volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
Lee masThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lee masPrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lee masConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee masThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee masCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lee masConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee mas